]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3155d03) | patch
extensionPrefs: Stop escaping extension name
authorFlorian Müllner <fmuellner@gnome.org>
Tue, 3 Mar 2020 23:26:04 +0000 (00:26 +0100)
committerFlorian Müllner <florian.muellner@gmail.com>
Sun, 8 Mar 2020 01:07:18 +0000 (01:07 +0000)
commit3d443d5b17f5c8b86cd42608beca8193c69969be
treebf7b75470dbec9842864635d9c4a75dc9271a974tree | snapshot
parent3155d03d9e97702d7dd963817bcb231bd813584ecommit | diff
extensionPrefs: Stop escaping extension name

The corresponding label no longer uses markup, so we can and should use
the unescaped name.

https://gitlab.gnome.org/GNOME/gnome-shell/issues/2305
js/extensionPrefs/main.js diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.